(Info-insert-dir): Ignore duplicate directories.

diff --git a/lisp/info.el b/lisp/info.el
index e2079644102200e6247145432298bf9dbbc17daa..ae97bf270487c120a90b68b49dfbb3e26045dac6 100644 (file)
--- a/lisp/info.el
+++ b/lisp/info.el
@@ -313,7 +313,9 @@ to read a file name from the minibuffer."
                      (find-file-noselect temp)))))
              (setq dirs-done
                    (cons (file-truename (expand-file-name (car dirs)))
-                         dirs-done))
+                         (cons (directory-file-name
+                                (file-truename (expand-file-name (car dirs))))
+                               dirs-done)))
              (if buffer (setq buffers (cons buffer buffers)))))
        (setq dirs (cdr dirs)))